巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

汽车驾驶模拟器软件系统

介绍了QJM主动式实时仿真三维计算机成像汽车驾驶模拟器软件系统的实现方法。这些方法已应用于桑塔纳型和东风型汽车驾驶模拟器。     

软件工程在模拟潜艇指控台上的应用

介绍了模拟潜艇指控台在军事应用软件的计划与开发过程中所面临的各种困难,提出并采用了软件工程设计的方法来解决此类问题的思路与方法。     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一,文中对分布式软件系统可靠性的评估方法进行了研究,给出了软件系统可靠度的最优置信下限.最后以某大型软件的评估为例,说明该方法的应用.     

基于UML的兵力机动辅助决策软件设计

首先简要介绍了UML的建模体系,然后在使用UML对兵力机动辅助决策软件进行功能需求分析的基础上,进行了问题领域分析,建立了软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行了描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供了有利的支持,为兵力机动辅助决策软件系统的研制奠定了基础.     

基于改进Co-word分析法的脆弱性数据分析技术研究

针对脆弱性信息系统中脆弱性数据质量保证问题,研究基于改进Co-word分析法的脆弱性数据分析技术。依据脆弱性分类法分类特征确定分析关键字,通过对Co-word分析法的改进设计了脆弱性数据分析算法,实现了脆弱性信息系统中脆弱性数据的验证、完善和补充。     

火控软件的人机界面测试方法

火控软件的人机界面测试是火控系统试验的重要研究内容.对火控系统的功能特性和人机界面特性进行了分析,建立了人机界面的评价指标体系.采用GOMS方法对人机交互效率进行了分析,给出了界面信息效率和字符效率的测量方法.这些方法提高了人机界面测试的定量化水平,可在火控软件测试中实际应用.